system of congruence